<!DOCTYPE html>
<html lang="en" dir="ltr" class="no-js">
<head>
    <meta charset="utf-8" />
    <title>Workcraft - help:tool_controls_panel</title>
    <script>(function(H){H.className=H.className.replace(/\bno-js\b/,'js')})(document.documentElement)</script>
    <meta name="generator" content="DokuWiki"/>
<meta name="robots" content="noindex,nofollow"/>
<meta name="date" content="2014-10-01T15:11:01+0000"/>
<meta name="keywords" content="help,tool controls panel"/>
<link rel="search" type="application/opensearchdescription+xml" href="lib/exe/opensearch.html" title="Workcraft"/>
<link rel="start" href="tool_controls_panel.html"/>
<link rel="contents" href="tool_controls_panel.html" title="Sitemap"/>
<link rel="alternate" type="application/rss+xml" title="Changes" />
<link rel="alternate" type="application/rss+xml" title="Current namespace" />
<link rel="alternate" type="text/html" title="Plain HTML" href="_export/xhtml/help/tool_controls_panel.xhtml"/>
<link rel="alternate" type="text/plain" title="Wiki Markup" href="_export/raw/help/tool_controls_panel.raw"/>
<link rel="canonical" href="http://www.workcraft.org/help/tool_controls_panel"/>
<link rel="stylesheet" type="text/css" href="lib/exe/css.php.t.dokuwiki-light-export.css"/>
<script type="text/javascript">/*<![CDATA[*/var NS='help';var JSINFO = {"id":"help:tool_controls_panel","namespace":"help"};
/*!]]>*/</script>
<script type="text/javascript" charset="utf-8" src="lib/exe/js.php.t.dokuwiki-light-export.js"></script>
    <meta name="viewport" content="width=device-width,initial-scale=1" />
    <link rel="shortcut icon" href="favicon.ico" />
<link rel="apple-touch-icon" href="apple-touch-icon.png" />
    </head>

<body>
    <!--[if lte IE 7 ]><div id="IE7"><![endif]--><!--[if IE 8 ]><div id="IE8"><![endif]-->
    <div id="dokuwiki__site"><div id="dokuwiki__top" class="site dokuwiki mode_show tpl_dokuwiki-light-export     ">

        
<!-- ********** HEADER ********** -->
<div id="dokuwiki__header"><div class="pad group">

        <h1><a href="start.html"  title="Workcraft start page"><img src="logo.png" width="327" height="57" alt="" /></a></h1>
    
    <div class="tools group">
        <!-- USER TOOLS -->
                    <div id="dokuwiki__usertools">
                <h3 class="a11y">User Tools</h3>
                <ul>
                    <li><a href="tool_controls_panel.html"  class="action login" rel="nofollow" title="Login">Login</a></li>                </ul>
            </div>
        
        <!-- SEARCH TOOLS -->
        <div id="dokuwiki__searchtools">
            <h3 class="a11y"></h3>
            <form action="start.html" accept-charset="utf-8" class="search" id="dw__search" method="get" role="search"><div class="no"><input type="hidden" name="do" value="search" /><input type="text" id="qsearch__in" accesskey="f" name="id" class="edit" title="[F]" /><input type="submit" value="Search" class="button" title="Search" /><div id="qsearch__out" class="ajax_qsearch JSpopup"></div></div></form>        </div>

        <!-- SITE TOOLS -->
        <div id="dokuwiki__sitetools">
            <h3 class="a11y">Site Tools</h3>
                            <div class="mobileTools">
                    <li><a href="tool_controls_panel.html"  class="action login" rel="nofollow" title="Login">Login</a></li>                </div>
                <ul>
                                    </ul>
                    </div>
    </div>

    <!-- BREADCRUMBS -->
    
    
    <hr class="a11y" />
</div></div><!-- /header -->

        <div class="wrapper group">

            
            <!-- ********** CONTENT ********** -->
            <div id="dokuwiki__content"><div class="pad group">
                <div class="pageId"><span>help:tool_controls_panel</span></div>
                <div class="page group">
                                                            <!-- wikipage start -->
                    
<h1 class="sectionedit1" id="tool_controls">Tool Controls</h1>
<div class="level1">

<p>
The <strong>Tool control</strong> panel provides access to the extended functionality (if present) of a selected tool. Of the generic tools only the <strong>Selection tool</strong> and <strong>Simulation tool</strong> have such extended functionality. Let us consider them in detail.
</p>

</div>

<h2 class="sectionedit2" id="selection_controls">Selection controls</h2>
<div class="level2">

<p>
The selection tool controls provide the means to transform the selected nodes and connections of the model.
</p>

<p>
<img src="tool_controls-select.png" class="mediacenter" alt="" />
</p>
<ul>
<li class="level1"><div class="li">
 <img src="tool_controls-select-group.png" class="media" title="Group selection(Ctrl+G)" alt="Group selection(Ctrl+G)" /> - <strong>group selection</strong><br/>
- combine the selected elements into a group. The same action can be performed by pressing <kbd>Ctrl</kbd>+<kbd>G</kbd>. 
</div></li>
<li class="level1"><div class="li">
 <img src="tool_controls-select-ungroup.png" class="media" title="Ungroup selection(Ctrl+Shift+G)" alt="Ungroup selection(Ctrl+Shift+G)" /> - <strong>ungroup selection</strong><br/>
- if a single group is selected, then pressing this button decomposes the group into the comprising elements. The same action can be performed by pressing <kbd>Ctrl</kbd>+<kbd>Shift</kbd>+<kbd>G</kbd>. 
</div></li>
<li class="level1"><div class="li">
 <img src="tool_controls-select-level_up.png" class="media" title="Level up (PageUp)" alt="Level up (PageUp)" /> - <strong>level up</strong><br/>
- if the focus is currently inside a group, then pressing this button shifts the focus to the container group or the root of the model. The same can be done by pressing <kbd>Page&uarr;</kbd> or <em>double-clicking</em> outside the group boundaries. 
</div></li>
<li class="level1"><div class="li">
 <img src="tool_controls-select-level_down.png" class="media" title="Level down (PageDown)" alt="Level down (PageDown)" /> - <strong>level down</strong><br/>
- if a single group is selected, then pressing this button enters this group. The same can be done by pressing <kbd>Page&darr;</kbd> or <em>double-clicking</em> inside the group boundaries. 
</div></li>
<li class="level1"><div class="li">
 <img src="tool_controls-select-flip_horizontal.png" class="media" title="Flip horizontal (Ctrl+F)" alt="Flip horizontal (Ctrl+F)" /> - <strong>flip horizontal</strong><br/>
- flip the selected objects horizontally. The same can be done by pressing <kbd>Ctrl</kbd>+<kbd>F</kbd>. 
</div></li>
<li class="level1"><div class="li">
 <img src="tool_controls-select-flip_vertical.png" class="media" title="Flip vertical (Ctrl+Shift+F)" alt="Flip vertical (Ctrl+Shift+F)" /> - <strong>flip vertical</strong><br/>
- flip the selected objects vertically. The same can be done by pressing <kbd>Ctrl</kbd>+<kbd>Shift</kbd>+<kbd>F</kbd>. 
</div></li>
<li class="level1"><div class="li">
 <img src="tool_controls-select-rotate_clockwise.png" class="media" title="Rotate clockwise (Ctrl+R)" alt="Rotate clockwise (Ctrl+R)" /> - <strong>rotate clockwise</strong><br/>
- rotate the selected objects clockwise. The same can be done by pressing <kbd>Ctrl</kbd>+<kbd>R</kbd>.
</div></li>
<li class="level1"><div class="li">
 <img src="tool_controls-select-rotate_counterclockwise.png" class="media" title="Rotate counterclockwise (Ctrl+Shift+R)" alt="Rotate counterclockwise (Ctrl+Shift+R)" /> - <strong>rotate counterclockwise</strong><br/>
- rotate the selected objects couterclockwise. The same can be done by pressing <kbd>Ctrl</kbd>+<kbd>Shift</kbd>+<kbd>R</kbd>.
</div></li>
</ul>


</div>

<h2 class="sectionedit3" id="simulation_controls">Simulation controls</h2>
<div class="level2">

<p>
The simulation tool controls provides the means to analyse and navigate the simulation data. There are two sources of simulation data:
</p>
<ul>
<li class="level1"><div class="li">
 <strong>Trace</strong> - the <em>base</em> sequence of events, often from an external tool, e.g. a trace leading to a deadlock. 
</div></li>
<li class="level1"><div class="li">
 <strong>Branch</strong> - the <em>deviated</em> sequence of events executed by explicitly clicking the excited nodes of the model. 
</div></li>
</ul>


<p>
Usually the event names correspond to the model nodes whose execution changed the state of the model. The sequences of events are recorded in the corresponding columns of the <em>Trace</em>–<em>Branch</em> table. You can click the name of the event in either column to restore the model state just before that event has happened. 
</p>

<p>
<img src="tool_controls-simulate.png" class="mediacenter" alt="" />
</p>

<p>
The navigation through the simulation data can be done with the following buttons:
</p>
<ul>
<li class="level1"><div class="li">
 <img src="tool_controls-simulate-play.png" class="media" title="Automatic playback" alt="Automatic playback" /> - <strong>automatic playback</strong><br/>
- execute the trace and branch events starting from the current position.
</div></li>
<li class="level1"><div class="li">
 <img src="tool_controls-simulate-stop.png" class="media" title="Reset playback" alt="Reset playback" /> - <strong>reset playback</strong><br/>
- stop the execution and reset the trace and branch data.
</div></li>
<li class="level1"><div class="li">
 <img src="tool_controls-simulate-step_backward.png" class="media" title="Step backward" alt="Step backward" /> - <strong>step backward</strong><br/>
- undo the last event that lead to the current state.
</div></li>
<li class="level1"><div class="li">
 <img src="tool_controls-simulate-step_forward.png" class="media" title="Step forward" alt="Step forward" /> - <strong>step forward</strong><br/>
- execute the next event in the trace or branch.
</div></li>
<li class="level1"><div class="li">
 <img src="tool_controls-simulate-random.png" class="media" title="Random playback" alt="Random playback" /> - <strong>random playback</strong><br/>
- automatically execute events selecting them randomly from a pool of events that are enabled in the current state.
</div></li>
<li class="level1"><div class="li">
 <img src="tool_controls-simulate-copy_trace.png" class="media" title="Copy to clipboard" alt="Copy to clipboard" /> - <strong>copy to clipboard</strong><br/>
- copy the trace, the branch and the current simulation state into the clipboard.
</div></li>
<li class="level1"><div class="li">
 <img src="tool_controls-simulate-paste_trace.png" class="media" title="Paste from clipboard" alt="Paste from clipboard" /> - <strong>paste from clipboard</strong><br/>
- paste the trace, the branch and the current simulation state from the clipboard.
</div></li>
<li class="level1"><div class="li">
 <img src="tool_controls-simulate-merge_trace.png" class="media" title="Merge branch into trace" alt="Merge branch into trace" /> - <strong>merge branch into trace</strong><br/>
- merge the branch into the main execution trace.
</div></li>
</ul>


<p>
The slide bar under the navigation buttons controls the speed of playback for the existing or randomly generated sequence of events.
</p>

</div>

                    <!-- wikipage stop -->
                                    </div>

                                            </div></div><!-- /content -->

            <hr class="a11y" />

            <!-- PAGE ACTIONS -->
            <div id="dokuwiki__pagetools">
                        </div>
        </div><!-- /wrapper -->

        
<!-- ********** FOOTER ********** -->
<div id="dokuwiki__footer"><div class="pad">
    
    <div class="buttons">
                <a href="http://www.dokuwiki.org/donate" title="Donate" ><img
            src="lib/tpl/dokuwiki-light-export/images/button-donate.gif" width="80" height="15" alt="Donate" /></a>
        <a href="http://www.php.net" title="Powered by PHP" ><img
            src="lib/tpl/dokuwiki-light-export/images/button-php.gif" width="80" height="15" alt="Powered by PHP" /></a>
        <a href="http://validator.w3.org/check/referer" title="Valid HTML5" ><img
            src="lib/tpl/dokuwiki-light-export/images/button-html5.png" width="80" height="15" alt="Valid HTML5" /></a>
        <a href="http://jigsaw.w3.org/css-validator/check/referer?profile=css3" title="Valid CSS" ><img
            src="lib/tpl/dokuwiki-light-export/images/button-css.png" width="80" height="15" alt="Valid CSS" /></a>
        <a href="http://dokuwiki.org/" title="Driven by DokuWiki" ><img
            src="lib/tpl/dokuwiki-light-export/images/button-dw.png" width="80" height="15" alt="Driven by DokuWiki" /></a>
    </div>

    <div class="userInfo">
            </div>
</div></div><!-- /footer -->

    </div></div><!-- /site -->

    <div class="no"><img  width="2" height="1" alt="" /></div>
    <div id="screen__mode" class="no"></div>    <!--[if ( lte IE 7 | IE 8 ) ]></div><![endif]-->
</body>
</html>

